Strzebonski, Adam: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic

Adam Strzebonski

Journal:

Reliable Computing

Year:

1999

File:

PDF, 339 KB

1999

2

Euler characteristic in semialgebraic and other o-minimal groups

Adam W. Strzebonski

Journal:

Journal of Pure and Applied Algebra

Year:

1994

Language:

english

File:

PDF, 1.78 MB

english, 1994

3

[ACM Press the twenty-first international symposium - Linz/Hagenberg, Austria (2008.07.20-2008.07.23)] Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 - Real root isolation for exp-log functions

Strzebonski, Adam

Year:

2008

Language:

english

File:

PDF, 376 KB

english, 2008

4

Cylindrical algebraic decomposition using local projections

Strzeboński, Adam

Journal:

Journal of Symbolic Computation

Year:

2015

Language:

english

File:

PDF, 1.34 MB

english, 2015

5

One-dimensional groups definable in o-minimal structures

Adam W. Strzebonski

Journal:

Journal of Pure and Applied Algebra

Year:

1994

Language:

english

File:

PDF, 707 KB

english, 1994

6

[ACM Press the 2010 International Symposium - Munich, Germany (2010.07.25-2010.07.28)] Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation - ISSAC '10 - Computation with semialgebraic sets represented by cylindrical algebraic formulas

Strzeboński, Adam

Year:

2010

Language:

english

File:

PDF, 752 KB

english, 2010

7

[ACM Press the 39th International Symposium - Kobe, Japan (2014.07.23-2014.07.25)] Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 - Cylindrical algebraic decomposition using local projections

Strzeboński, Adam

Year:

2014

Language:

english

File:

PDF, 195 KB

english, 2014

8

Solving Systems of Strict Polynomial Inequalities

Adam Strzeboński

Journal:

Journal of Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 311 KB

english, 2000

9

Cylindrical Algebraic Decomposition using validated numerics

Adam W. Strzeboński

Journal:

Journal of Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 341 KB

english, 2006

10

[ACM Press the 37th International Symposium - Grenoble, France (2012.07.22-2012.07.25)] Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12 - Univariate real root isolation in multiple extension fields

Strzeboński, Adam, Tsigaridas, Elias P.

Year:

2012

Language:

english

File:

PDF, 514 KB

english, 2012

11

[ACM Press the 2018 ACM - New York, NY, USA (2018.07.16-2018.07.19)] Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 - Comparison of CAD-based Methods for Computation of Rational Function Limits

Strzebonski, Adam

Year:

2018

Language:

english

File:

PDF, 1.66 MB

english, 2018

12

Cylindrical decomposition for systems transcendental in the first variable

Adam Strzeboński

Journal:

Journal of Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 213 KB

english, 2011

13

Computing in the Field of Complex Algebraic Numbers

ADAM WOJCIECH STRZEBOŃSKI

Journal:

Journal of Symbolic Computation

Year:

1997

Language:

english

File:

PDF, 371 KB

english, 1997

14

[ACM Press the 36th international symposium - San Jose, California, USA (2011.06.08-2011.06.11)] Proceedings of the 36th international symposium on Symbolic and algebraic computation - ISSAC '11 - Univariate real root isolation in an extension field

Strzebonski, Adam, Tsigaridas, Elias

Year:

2011

Language:

english

File:

PDF, 615 KB

english, 2011

15

Real root isolation for exp–log–arctan functions

Adam Strzeboński

Journal:

Journal of Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 365 KB

english, 2012

16

[ACM Press the 37th International Symposium - Grenoble, France (2012.07.22-2012.07.25)] Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12 - Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas

Strzeboński, Adam

Year:

2012

Language:

english

File:

PDF, 401 KB

english, 2012

17

Univariate real root isolation in an extension field and applications

Strzebonski, Adam, Tsigaridas, Elias

Journal:

Journal of Symbolic Computation

Year:

2019

Language:

english

File:

PDF, 512 KB

english, 2019

18

[ACM Press the 2017 ACM - Kaiserslautern, Germany (2017.07.23-2017.07.28)] Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17 - CAD Adjacency Computation Using Validated Numerics

Strzeboński, Adam

Year:

2017

Language:

english

File:

PDF, 754 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски